EXPRESSIVENESS OF ELEMENTARY CELLULAR AUTOMATA
نویسندگان
چکیده
منابع مشابه
Cellular Automata: Elementary Cellular Automata
Cellular automata (CA) are discrete dynamical systems consist of a regular finite grid of cell; each cell encapsulating an equal portion of the state, and arranged spatially in a regular fashion to form an n-dimensional lattice. A cellular automata is like computers, data represented by initial configurations which is processed by time evolution to produce output. This paper is an empirical stu...
متن کاملOn the Expressiveness of Asynchronous Cellular Automata
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the existential fragment of monadic second-order logic. In doing so, we provide a framework that unifies many approaches to modeling distributed systems such as the models of asynchronous trace automata and communicating ...
متن کاملElementary Cellular Automata with Memory
Standard cellular automata (CA) are ahistoric (memoryless), that is, the new state of a cell depends on the neighborhood configuration of only the preceding time step. This article introduces an extension to the standard framework of CA by considering automata with memory capabilities. While the update rules of the CA remain unaltered, a history of all past iterations is incorporated into each ...
متن کاملUniversality in Elementary Cellular Automata
The purpose of this paper is to prove that one of the simplest one dimensional cellular automata is computationally universal, implying that many questions concerning its behavior, such as whether a particular sequence of bits will occur, or whether the behavior will become periodic, are formally undecidable. The cellular automaton we will prove this for is known as “Rule 110” according to Wolf...
متن کاملThe Fixed String of Elementary Cellular Automata
Cellular automata (CAs), originating from von Neumann’s work on formalizing the self-reproductivity phenomena in living systems, are classes of mathematical systems consisting of a regular lattice of sites and characterized by discreteness (in space, time, and state values), determinism, and local interaction [1]. CAs have been widely used to model a variety of dynamical systems in physics, bio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Modern Physics C
سال: 2013
ISSN: 0129-1831,1793-6586
DOI: 10.1142/s0129183113500101